1. Abstract state machines : a method for high-level system design and analysis

by Stark, Robert | Borger, Egon.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2003Availability: Items available for loan: [Call number: 004.21 BOR] (2).
2. Java and the Java virtual machine : definition, verification, validation

by Stark, Robert | Borger, Egon | Schmid, Joachim.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Berlin: Springer, 2001Availability: Items available for loan: [Call number: 005.133 STA] (2).

Powered by Koha